Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
31	trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Computer programming Tree automaton Pattern matching Regular expression Pushdown automaton Binary tree Abstract syntax tree Nondeterministic finite automaton Finite-state machine Software engineering Automata theory Computing
32	Tree pattern matching by pushdown automata Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:46 Pattern matching A ISO 216 Software engineering Notation Automata theory Models of computation Pushdown automaton
33	Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-13 04:59:45 Tree XML Model theory Decomposition method Ω-automaton Computing Automata theory Tree automaton
34	REGULAR TREE LANGUAGE RECOGNITION WITH STATIC INFORMATION Alain Frisch École Normale Supérieure Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Tree automaton Pushdown automaton Symbol Finite-state machine Automata theory Theoretical computer science Computer science
35	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
36	XPath Query Containment‡ Thomas Schwentick§ 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:57 Markup languages Functional languages Technical communication XPath Data modeling XQuery XSLT Xpath data model Tree automaton Computing Web standards XML
37	Regular tree language recognition with static information Alain Frisch D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris, France Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Ω-automaton Automata theory Symbol Tree automaton
38	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:06:42 OSI protocols Tree automaton Tree XPath XML Nondeterministic finite automaton Binary tree Automata theory Computing Theory of computation
39	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
40	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science